Numerical data - PDFSEARCH.IO - Document Search Engine

Numerical data
Results: 1578

#	Item
191	A Verification Toolkit for Numerical Transition Systems Tool Paper⋆ Hossein Hojjat1 , Filip Koneˇcn´y2,4, Florent Garnier2 , Radu Iosif2 , Viktor Kuncak1, and Philipp R¨ummer3 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-06-11 13:15:35 Logic in computer science Model theory Presburger arithmetic Proof theory Data types Computability theory Oz Abstract interpretation Peano axioms Mathematical logic Mathematics Theoretical computer science
192	Sound Compilation of Reals Eva Darulova Viktor Kuncak EPFL Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-11-09 10:48:40 Theoretical computer science Applied mathematics Data types Arithmetic Affine arithmetic Affine geometry Floating point Interval arithmetic Machine epsilon Mathematics Numerical analysis Computer arithmetic
193	MachinistsWAGE DATA Rate Type / Statistical Type Add to Reading List Source URL: coloradomanufacturingcareers.com Language: English - Date: 2014-09-16 15:08:14 Tools Machinist Machine tool Turning Numerical control Milling machine Micrometer CNC Software/Mastercam Caliper Technology Machining Lathes
194	CNC Set-Up OperatorsWAGE DATA Rate Type / Statistical Type Add to Reading List Source URL: coloradomanufacturingcareers.com Language: English - Date: 2014-09-16 14:49:56 Machining Tools Drill Numerical control Jig Speeds and feeds Tool management G-code Drill bit Technology Manufacturing Woodworking
195	JOURNAL OF GEOPHYSICAL RESEARCH, VOL. 108, NO. D22, 8850, doi:2003JD003994, 2003 Snow process modeling in the North American Land Data Assimilation System (NLDAS): 2. Evaluation of model simulated snow water equ Add to Reading List Source URL: ldas.gsfc.nasa.gov Language: English - Date: 2004-02-10 10:40:56 Computational science Precipitation SNOTEL United States Department of Agriculture Climate Rain Numerical weather prediction Computer simulation Atmospheric sciences Meteorology Snow
196	Duality Between Data and Approximation Error Sanjay Krishnan @ MemSQL March 12, 2015 ! Add to Reading List Source URL: sampleclean.org Language: English - Date: 2015-05-14 17:15:27 Database Database theory Data cleansing Approximation Numerical analysis Data management Database management systems
197	JOURNAL OF GEOPHYSICAL RESEARCH, VOL. 108, NO. D22, 8846, doi:2002JD003245, 2003 Evaluation of the North American Land Data Assimilation System over the southern Great Plains during the warm season Alan Robock,1 Add to Reading List Source URL: ldas.gsfc.nasa.gov Language: English - Date: 2004-02-10 10:40:57 Meteorology Climatology Weather prediction Atmospheric thermodynamics METRIC Evapotranspiration Global Energy and Water Cycle Experiment Radiative flux Numerical weather prediction Atmospheric sciences Earth Hydrology
198	Predicting the Scalability of an STM A Pragmatic Approach Aleksandar Dragojevi´c Rachid Guerraoui Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2011-07-09 03:46:32 Data management Theoretical computer science Numerical analysis Programming language implementation Software transactional memory Interpolation Parallel computing P Thread Concurrency control Computing Transaction processing
199	© 2014 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promo Add to Reading List Source URL: sensorlab.ijs.si Language: English - Date: 2014-12-01 03:30:40 Statistical forecasting Weather prediction Control theory Data analysis Forecasting Time series analysis Numerical weather prediction Weather forecasting Sunlight Atmospheric sciences Meteorology Science

UPDATE